Section: Partnerships and Cooperations
International Research Visitors
Visits of International Scientists
-
One visit regarding time-series constraints of Mats Carlsson , Andreina Francisco Rodriguez Helmut Simonis , Pierre Flener and Justin Pearson in Nantes.
-
One visit in Nantes of Andreas Schutt from NICTA in the context of the TASCMELB associated team.
Internships
-
Master thesis : Ekaterina Arafailova (February-June 2015), reformulation of automata with accumulators as linear programs.
-
Master thesis : Julien Fradin (February-June 2015), extensions to the GHOST library.
-
Master thesis : Adrien Bodineau (January-April 2015), extensions to the GHOST library.
-
Internship : Guillaume Legru (April-May 2015), IA for combat games.
Visits to International Teams
Three visits to Insight Cork, Centre for Data Analytics and to Uppsala University were done to continue the work with Helmut Simonis , Pierre Flener and Mats Carlsson on time-series constraints. An extra visit took place in Nantes. Two visits of Nicolas Beldiceanu and Charlotte Truchet in Melbourne to Peter Stuckey and Marck Wallace took place.